第5章 分配法則を証明し、マクロで再利用可能にする